$\vdash$  $\forall$$n$:$\mathbb{N}$. \{$m$:$\mathbb{N}\mid$ $m$ = fib($n$)\}